- Bohm-Jacopini Theorem
- теорема Бема-Джакопини (структурное программирование)
Англо-русский словарь промышленной и научной лексики. 2014.
Bohm-Jacopini Theorem
Смотреть что такое "Bohm-Jacopini Theorem" в других словарях:
Structured program theorem — The structured program theorem is a result in programming language theory. It states that every computable function can be implemented in a programming language that combines subprograms in only three specific ways. These three control structures … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Control flow — Not to be confused with Flow control. In computer science, control flow (or alternatively, flow of control) refers to the order in which the individual statements, instructions, or function calls of an imperative or a declarative program are… … Wikipedia
goto — This article is about the programming statement. For other uses, see Goto (disambiguation). goto is a statement found in many computer programming languages. It is a combination of the English words go and to. It performs a one way transfer of… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
P′′ — is a primitive computer programming language created by Corrado Böhm[1][2] in 1964 to describe a family of Turing machines. Contents 1 Definition 1.1 Syntax … Wikipedia
